system invariants

系统不变量